1. Admissible sets and structures
Author: / by Jon Barwise
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA9
،.
B379
1975
2. Admissible sets and structures; An approach to definability theory
Author: / Jon Barwise
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Admissible sets,Definability theory
Classification :
511
.
3
B296
3. Admissible sets and structures. an approach to definability theory /
پدیدآورنده : Barwise, Jon., Jon Barwise
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Admissible sets and structures : an approach to definability theory
Author: Barwise, Jon
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Admissible sets,، Definability theory )Mathematical logic(
Classification :
QA
9
.
B29
5. Admissible sets and structures : an approach to definability theory
Author: Barwise, Jon
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Admissible sets,، Definability theory )Mathematical logic(
Classification :
QA
9
.
B29
1975
6. Admissible sets and structures : an approach to definability theory
Author: Barwise, Jon
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Admissible sets,، Definability theory )Mathematical logic(
Classification :
QA
9
.
B29
7. Handbook of mathematical logic
Author: / edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
,.
H32
8. Handbook of mathematical logic
Author: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H32
9. Handbook of mathematical logic
Author: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H32
10. Hyperproof ]for the Macintosh[
Author: Barwise, Jon
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(
Classification :
P
25
.
C28
No
.
42
11. Information flow :
Author: Jon Barwise, Jerry Seligman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing.
Classification :
QA76
.
9
.
D5
B363
1997
12. Language, proof, and logic
Author: \ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic.,منطق
Classification :
BC
61
.
B32L32
1999
E
.
Book
,
13. Language, proof, and logic
Author: / Jon Barwise & John Etchemendy
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic
Classification :
BC61
.
B38
2002
14. Language, proof, and logic
Author: / Jon Barwise & John Etchemendy
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic
Classification :
BC61
.
B38
2002
15. Logical reasoning with diagram
Author: / edited by Gerard Allwein and Jon Barwise
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Knowledge representation (Information theory),Logic, Symbolic and mathematical--Charts, diagrams, etc
Classification :
QA9
,.
L624
,
1996eb
16. Situations and attitudes
Author: Barwise, Jon.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Semantics )Philosophy(
Classification :
B
840
.
B37
1983
17. Situations and attitudes
Author: / Jon Barwise and John perry
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: semantics (philosophy)
Classification :
B840
.
S53
1983
18. Studies in model theor
Author: ]by[ Jon Barwise ]and others[ M. D. Morley, editor,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Model theory
Classification :
QA
.
M67
9
.
7
19. Studies in model theory
Author: )by( Jon Barwise )and others( M. D. Morley, editor
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
S78
20. Tarski's world /
Author: Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Tarski's world,First-order logic
Classification :
BC128
.
B35
2008
